John T. Baldwin, "Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism."
نویسندگان
چکیده
منابع مشابه
Completeness and Categoricity (in power): Formalization without Foundationalism
We propose a criterion to regard a property of a theory (in first or second order logic) as virtuous: the property must have significant mathematical consequences for the theory (or its models). We then rehearse results of Ajtai, Marek, Magidor, H. Friedman and Solovay to argue that for second order logic, ‘categoricity’ has little virtue. For first order logic, categoricity is trivial; but ‘ca...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولA Mathematical Formalization of Fuzzy Trace Theory
In this paper, we develop a novel formalization of Fuzzy Trace Theory (FTT), a leading theory of qualitative risky decision-making. Our model is the first to explicitly formalize and integrate the concepts of gist and the gist hierarchy. Domain knowledge constrains the space of possible decision problems, explaining which gists are chosen in which contexts. We test our model against risky-choic...
متن کاملThe Philosophy and Formalization of the Informational
This paper deals with basic and advanced principles and consequences of the informational in a philosophical, formalistic (symbolic), schematic, and graphical way. The central notion is informational entity as the operand and its interaction (operational property) with other entities and itself. Informational externalism, internalism, metaphysicalism, and phenomenalism are principles constituti...
متن کاملPhilosophy in John Gardner’s Grendel
John Gardner’s Grendel is a celebrated example of the ontological postmodernist fiction. Along with a discovery of self with which Grendel the narrator of the novel is concerned, grand narratives such as philosophy are questioned. Grendel denies the external objective reality and generously allows the legitimacy of fantastic and non-realistic methods by using “life-affirming fabulous art” as it...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy in Review
سال: 2020
ISSN: 1206-5269,1920-8936
DOI: 10.7202/1068146ar